LGTM.

@odersky I have a small question: despite that inline methods are not overridden by definition, some users may write code like the one below. Does it make sense to emit a warning for cases like these?

package test

class Macros
  inline def meth(): String = ???

object Meth
  private val macros = new Macros() { override def meth(): String = ??? }
  export macros.meth

You mean, generally warn when an inline method is overridden, or just for exports?

You mean, generally warn when an inline method is overridden, or just for exports?

I was thinking about both occasions, yes.

Thanks @odersky :)